Andrea Asperti: ค้นหาบนเว็บ Z-Library

ประตูสู่ความรู้และวัฒนธรรมสำหรับคุณ

Don't use scam websites

ตัวกรองที่กำลังใช้อยู่

ตรงกับคำค้นหาทุกประการ

ตรงกับคำค้นหาทุกประการ

1

Categories, types, and structures. Introduction to category theory for computer scientists

Categories, types, and structures. Introduction to category theory for computer scientists

Andrea Asperti, Giuseppe Longo

ปี:

1991

ภาษา:

english

ไฟล์:

PDF, 2.41 MB

0 / 0

english, 1991

2

The optimal implementation of functional programming languages

The optimal implementation of functional programming languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

ปี:

1999

ภาษา:

english

ไฟล์:

PDF, 3.38 MB

0 / 0

english, 1999

3

Logica a informatica

Logica a informatica

Andrea Asperti, Agata Ciabattoni

ปี:

1997

ภาษา:

italian

ไฟล์:

PDF, 909 KB

0 / 0

italian, 1997

4

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)

Andrea Asperti, Giuseppe Longo

ปี:

1991

ภาษา:

english

ไฟล์:

PDF, 1.60 MB

0 / 3.0

english, 1991

5

Categories, types, and structures : an introduction to category theory for the working computer scientist

Categories, types, and structures : an introduction to category theory for the working computer scientist

ปี:

1991

ภาษา:

english

ไฟล์:

PDF, 1.60 MB

0 / 5.0

english, 1991

6

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

ปี:

1998

ภาษา:

english

ไฟล์:

PDF, 3.38 MB

0 / 0

english, 1998

7

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)

ปี:

1995

ภาษา:

english

ไฟล์:

DJVU, 3.54 MB

0 / 0

english, 1995

8

Categories, types, and structures : an introduction to category theory for the working computer scientist

Categories, types, and structures : an introduction to category theory for the working computer scientist

ปี:

1991

ภาษา:

english

ไฟล์:

PDF, 39.09 MB

0 / 4.5

english, 1991

9

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Andrea Asperti, Stefano Guerrini

ปี:

1999

ภาษา:

english

ไฟล์:

AZW3 , 2.47 MB

0 / 0

english, 1999

10

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams, James H. Davenport (auth.), Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)

ปี:

2004

ภาษา:

english

ไฟล์:

PDF, 3.73 MB

0 / 0

english, 2004

11

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)

ปี:

2012

ภาษา:

english

ไฟล์:

PDF, 3.74 MB

0 / 0

english, 2012

12

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

ปี:

1998

ภาษา:

spanish

ไฟล์:

PDF, 3.35 MB

0 / 0

spanish, 1998

13

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

ปี:

1998

ภาษา:

english

ไฟล์:

LIT , 2.17 MB

0 / 0

english, 1998

14

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

ปี:

1998

ภาษา:

english

ไฟล์:

FB2 , 3.35 MB

0 / 0

english, 1998

15

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

ปี:

1998

ภาษา:

english

ไฟล์:

MOBI , 2.46 MB

0 / 0

english, 1998

16

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)

ปี:

2003

ภาษา:

english

ไฟล์:

PDF, 2.02 MB

0 / 0

english, 2003

17

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (eds.)

ปี:

1994

ภาษา:

english

ไฟล์:

DJVU, 2.66 MB

0 / 0

english, 1994

18

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams, James H. Davenport (auth.), Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)

ปี:

2004

ภาษา:

english

ไฟล์:

PDF, 7.54 MB

0 / 0

english, 2004

19

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)

ปี:

2012

ภาษา:

english

ไฟล์:

PDF, 3.72 MB

0 / 0

english, 2012

20

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)

ปี:

2003

ภาษา:

english

ไฟล์:

PDF, 2.91 MB

0 / 0

english, 2003

21

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)

ปี:

2003

ภาษา:

english

ไฟล์:

PDF, 2.54 MB

0 / 0

english, 2003

22

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)

ปี:

1995

ภาษา:

english

ไฟล์:

PDF, 6.89 MB

0 / 0

english, 1995